Nuprl Definition : compose-fpf
11,40
postcript
pdf
compose-fpf(
a
;
b
;
f
)
== <mapfilter((
x
.outl(
a
(
x
))); (
x
.isl(
a
(
x
))); fpf-domain(
f
)), compose((
f
.2);
b
)>
latex
Definitions
<
a
,
b
>
,
mapfilter(
f
;
P
;
L
)
,
outl(
x
)
,
x
.
A
(
x
)
,
isl(
x
)
,
f
(
a
)
,
fpf-domain(
f
)
,
compose(
f
;
g
)
,
t
.2
FDL editor aliases
compose-fpf
origin
x.outl(a(x))); (x.isl(a(x))); fpf-domain(f)), compose((f.2); b)> x.outl(a(x))); (x.isl(a(x))); fpf-domain(f)), compose((f.2); b)> x.A(x)